Maximal Blocks in Morphic and Automatic Words
نویسندگان
چکیده
Let w be a morphic word over a finite alphabet Σ, and let ∆ be a subalphabet. We study the behavior of maximal blocks of ∆ letters in w, and prove the following: let (ik, jk) denote the starting and ending positions, respectively, of the k’th maximal ∆-block in w. Then lim supk→∞(jk/ik) is algebraic if w is morphic, and rational if w is automatic. As a results, we show that the same holds if (ik, jk) are the starting and ending positions of the k’th maximal zero block, and, more generally, of the k’th maximal x-block, where x is an arbitrary word. In this we answer a question posed by Yann Bugeaud.
منابع مشابه
Morphic and Automatic Words: Maximal Blocks and Diophantine Approximation
Let w be a morphic word over a finite alphabet Σ, and let ∆ be a nonempty subset of Σ. We study the behavior of maximal blocks consisting only of letters from ∆ in w, and prove the following: let (ik, jk) denote the starting and ending positions, respectively, of the k’th maximal ∆-block in w. Then lim supk→∞(jk/ik) is algebraic if w is morphic, and rational if w is automatic. As a result, we s...
متن کاملA Hierarchy of Automatic Words having a Decidable MSO Theory
We investigate automatic presentations of infinite words. Starting points of our study are the works of Rigo and Maes, and Carton and Thomas concerning the lexicographic presentation, respectively the decidability of the MSO theory of morphic words. Refining their techniques we observe that the lexicographic presentation of a (morphic) word is canonical in a certain sense. We then go on to gene...
متن کاملOn Uniformly Recurrent Morphic Sequences
In the paper we mainly deal with two well-known types of in nite words: morphic and uniformly recurrent (=almost periodic). We discuss the problem of nding criterion of uniform recurrence for morphic sequences and give e ective polynomial-time such criterion in two particular cases: pure morphic sequences and automatic sequences. We also prove that factor complexity of arbitrary uniformly recur...
متن کاملOn the Periodicity of Morphic Words
Given a morphism h prolongable on a and an integer p, we present an algorithm that calculates which letters occur infinitely often in congruent positions modulo p in the infinite word h(a). As a corollary, we show that it is decidable whether a morphic word is ultimately p-periodic. Moreover, using our algorithm we can find the smallest similarity relation such that the morphic word is ultimate...
متن کاملDecision Algorithms for Fibonacci-Automatic Words, III: Enumeration and Abelian Properties
We continue our study of the class of Fibonacci-automatic words. These are infinite words whose nth term is defined in terms of a finite-state function of the Fibonacci representation of n. In this paper, we show how enumeration questions (such as counting the number of squares of length n in the Fibonacci word) can be decided purely mechanically, using a decision procedure. We reprove some kno...
متن کامل